(declare-const r2 Real)
(declare-const r5 Real)
(declare-const r8 Real)
(push)
(declare-const r28 Real)
(assert (or (>= 97.0 (/ r5 r2) 59.0 0.0 r2) (distinct 3.746 r5 r28 0.0 (/ 0.0 r8))))
(check-sat)
(check-sat)
(assert (<= r2 97.0 r5))
(check-sat)
